AugScalar(void) AugScalar(AugScalar& a) AugScalar& operator=(AugScalar& a) void debug_out(ostream& c, int indent)
Standard housekeeping functions.